Control Design for Risk-Based Signal Temporal Logic Specifications
نویسندگان
چکیده
منابع مشابه
Temporal Logic for Scenario-Based Specifications
We provide semantics for the powerful scenario-based language of live sequence charts (LSCs). We show how the semantics of live sequence charts can be captured using temporal logic. This is done by studying various subsets of the LSC language and providing an explicit translation into temporal logic. We show how a kernel subset of the LSC language (which omits variables, for example) can be emb...
متن کاملRobust Control for Signal Temporal Logic Specifications using Average Space Robustness
Control systems that fulfill formal specifications are an active research area, especially for motion and task planning applications. Recent methods suffer from state explosion problems which make them inconvenient to use in practice. We propose a framework that can be seen as an alternative approach by avoiding automata representation. The unifying framework consists of Signal Temporal Logic b...
متن کاملUsing the Temporal Logic RDL for Design Specifications
In summary, RDL is an intuitionistic temporal logic for the specification o f requirements and design of t ime-dependent systems. Coverage of RDL includes a backward chaining theorem prover for constructing a design from a requirement, and an execution mechanism for constructing a model of the design such that the model can be checked t o satisfy the requirement at each point. A brief overview ...
متن کاملModel Predictive Control from Signal Temporal Logic Specifications: A Case Study (Work in Progress)
This paper describes current work on framing the model predictive control (MPC) of cyber-physical systems as synthesis from signal temporal logic (STL) specifications. We provide a case study using a simplified power grid model with uncertain demand and generation; the model-predictive control problem here is that of the ancillary service power flow from the buildings. We show how various relev...
متن کاملGenerating Linear Temporal Logic Formulas for Pattern-Based Specifications
Software property classi cations and patterns, i.e., highlevel abstractions that describe program behavior, have been used to assist practitioners in specifying properties. The Speci cation Pattern System (SPS) provides descriptions of a collection of patterns. Each pattern is associated with a scope that de nes the extent of program execution over which a property pattern is considered. Based ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Control Systems Letters
سال: 2020
ISSN: 2475-1456
DOI: 10.1109/lcsys.2020.2998543